Dependable Computing: Concepts, Challenges, Directions
نویسنده
چکیده
ion recursion structuration Avoiding intellectual confusion(s) Focusing on scientific problems and technical choices Rigorous terminology — not just definitions: a model
منابع مشابه
Ontology Learning And Knowledge Discovery Using The Web Challenges And Recent Advances Premier Reference Source
design and test technology for dependable systems-on-chip premier reference source PDF supply chain optimization management and integration emerging applications premier reference source PDF intelligent user interfaces adaptation and personalization systems and technologies premier reference source PDF performance and dependability in service computing concepts techniques and research direction...
متن کاملResearch on Dependable Distributed Systems for Smart Grid
Within the last few years, smart grid has been one of major trends in the electric power industry and has gained popularity in electric utilities, research institutes and communication companies. As applications for smart grid become more distributed and complex, the probability of faults undoubtedly increases. This fact has motivated to construct dependable distributed systems for smart grid. ...
متن کاملComputing with Data: Concepts and Challenges
This paper examines work in “computing with data”—in computing support for scientific and other activities to which statisticians can contribute. Relevant computing techniques, besides traditional statistical computing, include data management, visualization, interactive languages and user-interface design. The paper emphasizes the concepts underlying computing with data, with emphasis on how t...
متن کاملDependable objects for databases, middleware and methodologies: a position paper
This position paper describes work that needs to be done to integrate features of security, fault tolerance, and real-time computing into object-oriented technology to produce Òdependable objects.Ó This dependable technology can be applied in the areas of database; middleware, including object-request brokers; and object-based design and analysis methodologies. The accomplishments to date of va...
متن کاملCOMPUTING SCIENCE Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on the construction and analysis by co-simulation of formal models that combine discrete-event specifications of computer-based controllers with continuoustime models of the environment with which they interact. Basic conc...
متن کامل